((v1 v3 6) (v5 v2 2) (v6 v2 5) (v1 v5 5) (v3 v6 5) (v6 v5 6) (v2 v4 8) (v4 v1 9) (v1 v2 5))
34
((v2 v6) (v4 v2) (v2 v1))